#include <stdio.h>
#include "f1.h"
#include "f2.h"
int main(int argc, char * argv[])
{
  f1();
  f2(264);
  return 0;
}
